Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
961	UW SPF: The University of Washington Semantic Parsing Framework Yoav Artzi and Luke Zettlemoyer Computer Science & Engineering University of Washington Seattle, WA 98195 Add to Reading List Source URL: yoavartzi.com Language: English - Date: 2013-11-13 21:16:00 Grammar Natural language processing Parsing SYNTAX Formal grammar Combinatory categorial grammar Categorial grammar Computational linguistics Formal languages Linguistics
962	Manifesto from Dagstuhl Perspectives Workshop[removed]Modeling, Analysis, and Verification – The Formal Methods Manifesto 2010 Edited by Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2011-09-30 04:09:55 Software development Formal verification Model checking Formal specification Electronic design automation Specification language Verification and validation Software development process Programming language Formal methods Theoretical computer science Science
963	Advances in Programming Languages APL12: Language Augmentations and Correctness David Aspinall (some slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-09 11:24:01 Procedural programming languages Cross-platform software Theoretical computer science Logic in computer science Type theory Type system Programming language Formal verification C Computing Software engineering Computer programming
964	From: AAAI-92 Proceedings. Copyright ©1992, AAAI (www.aaai.org). All rights reserved. A Probabilistic Parser pplied to Software Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-09 20:40:10 Science Statistical natural language processing Computational linguistics Grammar Parsing Parse tree LL parser Stochastic context-free grammar Phrase structure rules Linguistics Formal languages Syntax
965	MICA: A Probabilistic Dependency Parser Based on Tree Insertion Grammars Application Note Srinivas Bangalore AT&T Labs – Research Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-14 21:18:14 Grammar Compiler construction Parsing SYNTAX Tree-adjoining grammar Earley parser Parse tree Dependency grammar Context-free grammar Linguistics Formal languages Programming language implementation
966	Towards a General Composition Semantics for Rule-Based Model Transformation Dennis Wagelaar1? , Massimo Tisi2 , Jordi Cabot2 , and Fr´ed´eric Jouault2 1 2 Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2011-07-18 06:30:13 Computing Formal languages Unified Modeling Language VIATRA Fold Cascading Style Sheets Graph rewriting Combinatorics Mathematics
967	The NASL2 reference manual Michel Arboi $Date: 2005/04/29 08:50:59 $ Abstract This is the NASL2 reference manual ($Revision: 1.65 $). It describes the language syntax and the internal functions. Add to Reading List Source URL: michel.arboi.free.fr Language: English - Date: 2005-04-29 12:32:35 C programming language Expr Formal languages C syntax Find Comparison of programming languages ECL programming language Left recursion Comparison of Pascal and C Computing Computer programming Unix
968	Property Specification Language Reference Manual Version 1.1 June 9, 2004 Add to Reading List Source URL: www.eda-stds.org Language: English - Date: 2004-06-29 00:18:58 Formal methods Hardware verification languages Property Specification Language Accellera Technical communication Verilog Specification Functional verification Functional specification Electronic design automation Electronic engineering Hardware description languages
969	Adaptor Grammars for Learning Non-Concatenative Morphology Jan A. Botha and Phil Blunsom Department of Computer Science University of Oxford Oxford, OX1 3QD, UK {jan.botha,phil.blunsom}@cs.ox.ac.uk Add to Reading List Source URL: aclweb.org Language: English - Date: 2013-10-09 22:17:10 Grammar Computational linguistics Morphology Morpheme Natural language processing Apophony Word stem Inflection Semitic root Linguistics Linguistic morphology Formal languages
970	IWPT-09 Proceedings of the 11th International Conference on Parsing Technologies Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-15 09:26:48 Parser generators Science Compiling tools Compiler construction Parsing SYNTAX Martin Kay Treebank Stochastic context-free grammar Linguistics Programming language implementation Formal languages

UPDATE